Mfdte/pntool - a Tool for the Rigorous Design, Analysis and Development of Concurrent and Time-critical Systems

نویسندگان

  • Štefan HUDÁK
  • Dmitry A. ZAITSEV
  • Štefan KOREČKO
  • Slavomír ŠIMOŇÁK
چکیده

Štefan HUDÁK, Dmitry A. ZAITSEV, Štefan KOREČKO, Slavomír ŠIMOŇÁK Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, tel. 095/602 2525, E-mail: {Stefan.Hudak, Stefan.Korecko, Slavomir.Simonak}@tuke.sk Department of Communication Networks, Odessa National Telecommunication Academy, Kuznechnaya, 1, Odessa, 65029, Ukraine, http://www.geocities.com/zsoftua

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Introduction to Schramm-Loewner evolution and its application to critical systems

In this short review we look at recent advances in Schramm-Loewner Evolution (SLE) theory and its application to critical phenomena. The application of SLE goes beyond critical systems to other time dependent, scale invariant phenomena such as turbulence, sand-piles and watersheds. Through the use of SLE, the evolution of conformally invariant paths on the complex plane can be followed; hence a...

متن کامل

Development of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM

Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...

متن کامل

Development of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM

Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...

متن کامل

A Petri-net based modeling tool, for analysis and evaluation of computer systems

Petri net is one of the most popular methods in modeling and evaluation of concurrent and event-based systems. Different tools have been created to support modeling and simulation of different extensions of Petri net in different applications. Each tool supports some extensions and some features. In this work a Petri net based modeling and evaluation tool is presented that not only supports dif...

متن کامل

Signal Design at lsolated lntersecaions Using Expert Systems Technology

The procedural steps for developing an expert system for designing signals at isolated intersections are described and the most important development issues for each step are discussed. The steps include problem analysis and definition, preliminary prototype specification, knowledge acquisition strategy development, prototype development plan, knowledge extraction, knowledge representation, too...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008